Floating point - PDFSEARCH.IO - Document Search Engine

Floating point
Results: 1574

#	Item
191	On Subnormal Floating Point and Abnormal Timing Marc Andrysco,1 David Kohlbrenner,1 Keaton Mowery,1 Ranjit Jhala, Sorin Lerner, and Hovav Shacham Department of Computer Science and Engineering University of California, S Add to Reading List Source URL: ranjitjhala.github.io Language: English - Date: 2016-01-05 00:35:10
192	Note on the Frequency of Use of the Different Digits in Natural Numbers Simon Newcomb American Journal of Mathematics, Vol. 4, No), ppStable URL: http://links.jstor.org/sici?sici=%281881%294%3 Add to Reading List Source URL: www.uvm.edu Language: English - Date: 2007-11-01 10:42:24 Logarithms Data types Primitive types Computer arithmetic Number Fraction Pi Floating point E Mathematics Mathematical analysis Elementary mathematics
193	INTERNATIONAL ATOMIC ENERGY AGENCY NUCLEAR DATA SERVICES DOCUMENTATION SERIES OF THE IAEA NUCLEAR DATA SECTION IAEA-NDS-217 Add to Reading List Source URL: home.comcast.net Language: English - Date: 2014-08-11 14:23:46 Computer programming Procedural programming languages Data types Fortran Floating point Computer C Single-precision floating-point format Printf format string Computing Software engineering Computer arithmetic
194	Symbolic Crosschecking of Floating-Point and SIMD Code Peter Collingbourne, Cristian Cadar, Paul H J Kelly Department of Computing, Imperial College London 4 November, 2010 Add to Reading List Source URL: www.llvm.org Language: English - Date: 2010-11-17 01:55:50 C programming language Cross-platform software Elementary mathematics C++ Sizeof SIMD C Function Array programming Computer programming Computing Software engineering
195	EnerJ: Approximate Data Types for Safe and General Low-Power Computation Adrian Sampson Werner Dietl Emily Fortuna Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2011-05-12 02:38:08 Mathematics Numerical analysis Data types Computer arithmetic Computational complexity theory Floating point Algorithm Dynamic random-access memory Approximation Computer memory Theoretical computer science Computing
196	Sage Reference Manual: Fixed and Arbitrary Precision Numerical Fields Release 6.7 The Sage Development Team Add to Reading List Source URL: doc.sagemath.org Language: English - Date: 2015-06-24 05:21:38 Computing Data types Analytic functions Exponentials Sage Arbitrary-precision arithmetic Floating point MPFR Rounding Mathematics Computer arithmetic Mathematical software
197	Where are you going with those types? Vincent St-Amour, Sam Tobin-Hochstadt, Matthew Flatt, Matthias Felleisen PLT / Northeastern University Boston, MA, USA Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-06-29 15:00:00 Computer arithmetic Functional languages Racket Floating point Computing Software engineering Computer programming
198	Experience Report: Applying Random Testing to a Base Type Environment Vincent St-Amour Neil Toronto Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-06-29 14:59:59 Data types Type theory Computer arithmetic Functional languages Primitive types Type system Racket Floating point Primitive data type Software engineering Computing Programming language theory
199	How To Offshore networks Version 4.3 © Grontmij Nederland B.V. All rights reserved Add to Reading List Source URL: downloads.move3.com Language: English - Date: 2015-04-01 03:22:15 Data analysis Astrometry Physical cosmology Standard deviation Map projection Deviation Floating point Cosmic distance ladder Scale Statistics Cartography Geodesy
200	NASA/CRNIA Report NoA High-Level Formalization of Floating-Point Numbers in PVS Sylvie Boldo Add to Reading List Source URL: shemesh.larc.nasa.gov Language: English - Date: 2009-04-14 08:51:37

UPDATE